David Belanger. A more uniform Friedberg-Muchnik theorem