2 <pg-bad-invalidation-bug.txt