"One can't proceed from the informal to the formal by formal means." — Alan Perlis