Title: A treatise on computation