Gardens - Methodology v2: easier cleanups, stronger proof