A simple example of collector of proof element