testing and debugging. Collected a few failing examples. Need to fix.