More preconditions.