Title: Ideals and reals