This was a matter for speculation, though one could be fairly certain that the type annotations are necessary because otherwise there is nothing to indicate that you are familiar with mathematical logic.