2011-03-20 12:32:53+00:00 In reply to @ColinTheMathmo @ColinTheMathmo but are they recursively enumerable?