Horizontal Tangent Lines and Differentiation