Both Blue card and Red  are Unpunched, as shown.