more EM debugging but the ascent property is still violated