Work on itno_invariant_sd_member_holds.