An ordinary language demonstration of a claim.