Your definition of verifiable is different to mine.