1 Analytic Geometry Point Line I Line II Line III - Circle I Circle II Circle III Tautology, Reasoning, Quantifier