strict and cooperative equality

Strict and cooperative equality in spire RĂ¼diger Klaehn @klaehnr