@startuml Alice -> Bob : ∫_0^{+∞} e^{-x} dx = 1 Bob -> Alice : ∫_0^{+∞} 1 dx = +∞ @enduml