Li-Fan Chen
says to
YSITD
就 ensures 是保證輸出的性質 requires 是要求輸入的性質