Greenberger–Horne–Zeilinger (QCAT)