That no may have been prompted by your "inner node" assertion which he may not have checked