let x -- xxxxxxxxxx xxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxx : Natural = 0 let y -- yyyyyyyyyy yyyyyyyyyyyyyyyyy yyyyyyyyyyyyyyyyy -- yyyyyyyyyyyyyy yyyyyyyyyyyyyyyyyyyyyyy : Natural = 1 in x + y