Maybe someone should compile a bunch of exercises that train the muscle of formalizing intuitions
Strongly second this^
Maybe someone should compile a bunch of exercises that train the muscle of formalizing intuitions
Strongly second this^