for X being set holds {} in nextcard X