Reference N3937 in footnote on 1.2p1