Haverman coding