Class SymmetricEvaluatedFixpoints