One can’t proceed from the informal to the formal by formal means.