[O]ur universe is mathematics in a well-defined sense.