#classical-verification