In reply to Re^2: (OT) safe to mechanize? by andyford in thread (OT) safe to mechanize? by Anonymous Monk