Searching protocol for "bijection"
Prove results with combinatorial counting.
Slash storage with absolute coordinate mapping.
Run programs backwards for time-symmetric computation.
Prioritized pre-submission manuscript audit