Tweak preconditions