Also: 102. One can't proceed from the informal to the formal by formal means.