greatly simplified equality
make names unique in terms