logic contingent