equals
Fun
Pos
Subst
Var