A mathematical sentence with no possible concrete proof-token has no determinate inferential role in...