6a43e15 ^
20a5eab ^
1 2 3 4 5 6 7 8 9
10 11 12
assumption function digit/1 \add(\1 "0") end function function before_one/0 "§" end function end assumption <letter \before_one()> : "\digit(0)" <letter \digit(0)> : "\before_one()"