Figure: Revealed `card' in PIN_Change