[ notes ] Commented out an unprovable conjecture