2014.5.13 By Yiming

prove runnable