@alucian proof for card three of three