terrific, now our professors are working with logic programmers to teach automated liberal arts. because who needs a human teaching theory anymore? https://blainsmith.com/essays/humanities-in-the-machine/