From Pavel Rudich's book "Not sure, don't die"

 

v20240901