Representable with sum of squares (#8671) - Basecamp