add turing's original 'one third' example