Removed unneed precondition