More complete implementation of '-'