Proof natlist stuff
Proof bag stuff