more examples (unsoundness found)
move examples into separate module