The asymmetry between finding and checking reflects a constitutive feature of bounded rationality th...