added card(x) <= k