The top documents tagged [equalityaddition prop]