Single Automatic Deduction Form