A derived version from Mirai Math