> What can be known in a system without rigor? That’s the question to make rigorous, I think.

Who is working on making that rigorous?