We have to take into account that by default the XOR is equal to TRUE