gripau lujvo

p1 is a subset of g1.

Mentioned in ยง18.7 (cll 1.1).