handled all TODOs in provers