ideals are a kind of abstraction.