@davids5 Shouldn't this assertion be the other way around?