Reply to post (I - import substitution)

 

v20240901