Assertion: tactic's goal | /r/SimilarTo | e = e
Facets:
Source sentences:
text: : move hypotheses/variables from goal to context reflexivity : finish the proof (when the goal looks like e = e )