GHZ sort practically done-ish