thm-ven-diagram@2x