Removed @preconditions