Wellformedness Properties in Euler Diagrams: Which Should Be Used?