tightening up the verifiability of