Roberto’s Tumescence (Extended Version)