unconstrainedEquality

StrictCatsEquality