(+ 1 1) now works!