Craig's identity is irrelevant to my bsv thesis