Moving section polytope rule to core.