reduced acceptance predicate to pass all levels