[contravariant]

That's a bit more than just 'go underground'. I've seen people dig for cables but I've never seen them dig a hole 15m deep.