unbust quantifiers
add TODO about regressions