@mcc yeah, kind of. I mean, computers come pretty close to making math *into* reality though, and then we can say mathematical things about that reality