first_logic