edits to the bit on troubleshooting non-equality