Now implemented on Sosa. Fixes #1.