On input x, A queries the reflective oracle...
Did you flip the the definitions of A and B in that paragraph compared with the previous one?
Did you flip the the definitions of A and B in that paragraph compared with the previous one?