Added comments to explain experiments with unary arithmetic.