− seven = three