adding case I: nested titling that could cause inconsistency, but is not asserted