Title: Multiple Decision Procedures