WILL GIVE BRAINLIST
options: given, vertical angles, corresponding angles, linear pair, alternate interior angles, and substitution
