Не рой яму другому, чтобы он не использовал ее как окоп.

А если яму роют тебе - не мешай. Потом сделаешь из неё бассейн.