the beauty of logic