Hint 0.3.29.1.

It looks like you should be able to define the set \(A\) like this. But consider the two possible values for \(\card{A}\text{.}\)

in-context