From a formalist's point of view