discussion:la:formal_logic