objective_theory_of_contracts