Abstract massage, go!
Making this type argument throughout