Logical Contracting