The contract requires counterintuitive operations