RT @sunriseoath: A theorem is not validated by being true under every interpretation (no finite theorem has such a property) but by the exi…