Venn: tests all kinds. Better text output.