``The fool [proof] plan}} [Botta]