CMNT on input: É ¥ bool/val/É CMNT output: new val/É CMNT new val = -val if bool = FALSE CMNT new val = val if bool = TRUE BRFL branch if FALSE (need to negate input) PRIM Value/Negate -val/É BRTR