interstice comments on On the falsifiability of hypercomputation, part 2: finite input streams