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

other discussions