Assertion: tactic's goal | /r/CapableOf | prove the statement
Facets:
value: for every m
type: TRANSITIVE-OBJECT
Source sentences:
text: Notice that both the goal and the induction hypothesis are different this time: the goal asks us to prove something more general (i.e., to prove the statement for every m ), but the IH is correspondingly more flexible, allowing us to choose any m we like when we apply the IH.