other discussions
 

cross-posted from: https://lemm.ee/post/66561410

 

cross-posted from: https://lemm.ee/post/66561434

cross-posted from: https://lemm.ee/post/66561410