Equality and Parallelism