We do know about formstr, tho. Not all domains are as valuable. It's a social proof, so the proof depends upon the social recognition of the domain.