Interleaf основан на процессе форматирования.