2024/05/18 → 12:56 → [[Andrea Censi]] talk on designing everything together, [[co-design]] → extra →
#
>

monotone relation preserves order

→