A couple suspicious activities:
In reply to Re^2: (OT) safe to mechanize? by imp in thread (OT) safe to mechanize? by Anonymous Monk