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