Double digging is very hard work. You first remove the topsoil, then you dig, aerate and amend the subsoil. Following this you replace and amend the topsoil. Then you can apply your mulch and proceed ...