Figure:
Revealed
`card' in PIN_Change
Open figure