AT.G.4.a: Use known definitions and results in informal argumentation to construct logical arguments.