Mastodon
Tag:

if x1 and x2 are independent exponential