whole-bags-proof