Fragoso pres. Diggers Paradise

Theorem (Fragoso Reshape)