seven − = 3