map
Subst
matcheLs
Term
matches
Term
mmatch
Term