worth adding a comment to say why we use equivalent instead of superset, perhaps