Fish Wang
says to
YSITD
spec跟implementation是兩回事