FormulasDetectionTheory-1.pdf