W. John Foy

• Verification and non-verification