Deep-equality Packages