verifiabilities