add a bunch of stuff on equality
pdf