Operator '-' implemented