Probable and the provable - Cohen Jonathan (1977)