Horn, Ruben, Thomson, Sarah L, van den Berg, Daan, Adriaans, Pieter, "The Easiest Hard Problem: Now Even Easier", , 2025