small changes
add test seen in Hector Levesque's talk about ERGO