– https://stackexchange.com/users/510234/joel-david-hamkins
– https://mathoverflow.net/users/1946/joel-david-hamkins
reply