Default_logic