`I - A` is defined as `A - I`?