Packages from the vendor theorem

theorem/fat-crud