Ensures contract