formaliseerija 1(n)

keegi, kes mudelite, valemitena esitab, kindlasse vormi seab