Implements +never+
Implements +unordered+ with strings (come back to this)