Formal description