Logic is beautiful