notOr corrected, better internalRewrites and little debug-additions