RedCard.verify prevents unspecified rubies