Updated domino.tex