for W being set st W is Tarski holds
Rank (card W) is Tarski