Refl_btauto
G_btauto