Removed precondition