General Session 7: Verifiability