Reasoning about the substitute.

 

v20240901