1) It's unclear to me what the points in the def. of ```A``` actually stand for 2) What are ideal points? 3) No proofs (all copied from counterexamples book)
Aactually stand for