with_var(E)_equals(m)_multipl(c)_sq(); // E=mc²
with_var(c)_inc(); // increment by one
with_var(c)_inc(a); // same as with_var(c)_exp(+=[a]);