I'm pretty sure Shen Lin describes backwards reasoning way back in his BB(3) paper! sligocki (talk) 21:05, 29 August 2025 (UTC)