T says to YSITD
Prolog?