Short Dehn