1. loop: 'A' ne 'A' -> okay. They are equal
2. loop: 'A' ne 'B' -> TRUE So fail...