Simple example of collector of proof elements