Finally, an answer on "preconditions"