[r1-summary] PE-01 description
[r1-summary] PE-27 description
[r1-summary] PE-33 description
[r1-summary] PE-34 description
[r1-summary] PE-46 description
[r1-summary] soft-contracts descriptions
[r1-summary] citations for PE and soft contracts