Examples 14.1, 14.3, and also HP Hex/PIR project