strict and cooperative equality

Strict and cooperative equality in spire Rüdiger Klaehn @klaehnr