Joints are much more precise types