sa:logic