Mod notation: x = y mod z denotes (x mod z) = (y mod z).