A corollary may be, "Don't assume something is wrong because you don't understand it." This is a trap I fall into all of the time. Certain things tend to elic

A corollary may be, "Don't assume something is wrong because you don't understand it." This is a trap I fall into all of the time. Certain things tend to elicit it broadly, such as the Hoare rule for assignment: {P[X/e]} X := e {P}