IsPure, NegativePart, EulerCharacteristic