If there is someone X and it is not provable that X is a criminal then X is not a criminal. John waits. Mary waits. Mary is a criminal.