Ideal Theory of Berkeley, and the Real World by Thomas Hughes