@varikvalefor@mathstodon.xyz I don't fully understand...