single file example leveraging Helen Lu's venn.js