The above functions are internal in the venn package, which are not designed to be called directly by the user.