I'm pretty sure Shen Lin describes backwards reasoning way back in his BB(3) paper! sligocki (talk) 21:05, 29 August 2025 (UTC)
- He actually does, it is now added to the history section. Polygon (talk) 14:22, 30 August 2025 (UTC)
- Awesome, thank you for researching and updating!sligocki (talk) 02:14, 31 August 2025 (UTC)