Добавьте формальную логику к чему-угодно, и получится ТОТА