AT.G.4.c: Evaluate the deductive consequences of alternative definitions of known objects (e.g., whether a trapezoid is defined as a quadrilateral with exactly one pair of parallel sides or defined as at least one pair of parallel sides).