Added "difference" function: a -