started on TM for x^x