Packages from the vendor axiom