Title: Intermediate Deduction Problems