Work by Yoav Shoham advocating the use of default logic is critically examined, and several serious inconsistencies are pointed out. Shoham's analysis of the frame problem is shown to depend on a misinterpretation of the formal basis for Newtonian mechanics, and strong reasons are given to doubt the correctness of his arguments for reducing auto-epistemic reasoning to default logic. Detailed counter-examples are provided for both cases.