correctly construct partition