The word problem for omega terms over a variety (of finite monoids) V is the following decision problem: given two omega terms alpha and beta, does the equation alpha = beta hold for all monoids in V? For the variety DA - which is connected to two variable first order logic FO2[