Title: Multiple decision procedures