What truly is logic a beautiful mind