Ford v. Wainwright (1986); Panetti v. Quarterman (2007)