Made implementation of '-' recursive