Last night I mediated on this definition (from Strassburger):
wherein, A ⇒ B means B is a consequence of A.
It occurred to me that generalization/specification is a method of defining equivalence classes. Therefore, we can use it explicitly to construct a different skeleton over the same body of statements and generate a different path of consequences.