Эмили Джейн

Странно, если для вас это так звучит. Доказательства имеют вполне объективные отличия от не-доказательств безотносительно моей персоны. Их нетрудно формализовать и даже оформить в виде программы на одном из логических языков типа Prolog.