Variations on hallelujah