ATR: Word Equations