Since it is not relevant to mathematical foundations, I am closing this thread. -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20210311/1a92a836/attachment.html>