denna formaliserande metod , och dåman