hewe don't want transitive reduction