Allen Chou says to YSITD
要這樣才是 map 到自然數