Halleluja (Extended Version)