LIB120 V20 Trivium: Det mänskliga språket och det logiska beviset