gee: add all the asserts