[math-fun] Curious parametrized family of loci