(x: 3) % (x: -4) _3r4 3 %&x: -4 _3r4