The proposition position is now using the maxProposition