Almost working. Getting tEX and aTX and END