Milloin saamme automaattisen formalisoinnin @ChrSzegedy