oops
We should only instantiate equations with representatives!