sub_refl.