Trying to fix preconditions