The answer is known.
I don't know it.

Tilde means "varies as".