lemotw says to YSITD
目前卡在condition of optimality