fix by chaining provers