Coercive_logic