def (-/2)