s/exists/equals