talks/eipsi2024/images/derive-compare.pdf