sa:la:formal_logic