Why Hall-Proctor is unlike anything else