subconcept diff

optimized: half the time of prev. impl.