Leko
says to
YSITD
類似的還有 step function 跟 unit function 之類的