STR = state transition rule. did this unmedicated! next up will be other primitive arithmetic operations