12.6. Предположения и обозначения