$y := $x - 5;