Tagged verification

15 write-ups.