Internet Archive BookReader - Elements of logic