hi:formal_logic