On Monday, 31 December 2012 at 23:39:35 UTC, Rob T wrote: > ref returns where the return result cannot be proven to be safe Halting problem?