export consistent-with?
find slightly smaller counter examples for a few bugs