You can just prove things, apparently.