def+partition