nekomata_saren@tg says to YSITD
surjective function能跑f'喔