Simple prototype of collector of elements of proof