But you cannot prove either of these surmises to be correct.