Variables and Some Arithmetic