for X being set holds card X in card (bool X)