Change Details

THis is a little refactor of the code which improves readability and can be leveraged when introducing the proof inventory type.

This is a little refactor of the code which improves readability and can be leveraged when introducing the proof inventory type.

THisThis is a little refactor of the code which improves readability and can be leveraged when introducing the proof inventory type.