VENNFS: A Venn-Diagram File Manager