lambda1@tg
says to
YSITD
https://www.cs.cmu.edu/~avrim/451f11/lectures/lect0913.pdf