Mange Tout (Extended Version)

All Things Are Nice