Add equality distinctions
Move on