Here we could have used a condition `if ($facetObject instance of Pivot)` instead, but I prefered to add comments than touching executable code.