pub fn reflection_certificate() -> &'static Result<(), String>
The certificate: Ok(()) iff the reflection identities are proven (for all n), else the counterexample. Memoised.
Ok(())
n