Implement sub

-> Also, flip order of sa/sb