Simply knowing how to cut a tree down would have worked wonders for them.They don't have wedges in that country?
A back cut .... a wedge cut.....cutting the correct side of the stump ?
Never used a wedge in my life and I don't anticipate it happening in the future.