use usable provers and cons-checkers