  The connection between normalization by evaluation, logical predicates and
semantic gluing constructions is a matter of folklore, worked out in varying
degrees within the literature. In this note, we present an elementary version
of the gluing technique which corresponds closely with both semantic
normalization proofs and the syntactic normalization by evaluation.
