Implementation partition procedure