Title: How Smart Machines Think Lib/E