t^M="t"
(f t1 t2 ... tn)^M="f t1 t2... tn"

これで対象を定義します