Use a contains precondition