Implement substruction