GIVING BRAINLIST !
options are:
KM~NM
GIVEN
LM~LM
GIVEN
SSS
VERTICAL ANGLES
REFLEXIVE PROPERTY
SAS
