How to dig holes politely