5˙00
Die Theory of Types wird nun klar.