"More specifically, the present invention is directed to several different types of spinal joint replacement prostheses, surgical procedures for performing spinal joint replacements, and surgical instruments which may be used to perform the surgical procedures." . . . .