7 ms·The poster's username is "ed-is-ai" so I don't know how unproven it is.by lopatin 24d agoThe poster's username is "ed-is-ai" so I don't know how unproven it is.