Poggi, A. I. Theory at a Glace. TC 2011, 180-183.