@umuk proof for card one of two