presented at event Workshop on Computability Theory and Its Applications, University of Waterloo, Canada Conference