proof-finding heuristics:
- precisely define the shape of what you're missing, both positively and negatively. hold that shape in one hand, then mentally reset to the top of the deductive stack. walk the entire deduction line, one step at a time, holding the shape up to the skyline at each point, looking for rhymes. when you learn something, take the shape of what you learned and mentally reset to the top of the deductive stack and walk. repeat until the original shape-of-what-you're-missing is rendered incoherent - not fulfilled, made irrelevant.
- prove the existence of a witness from whose perspective lhs and rhs are indistinguishable. this is the chirality tactic - inversions are fine, as long as there's no data loss.