simplify: R != 0 || (R == 0 && S== 0000)