The proof is smaller now

A weak system hides behind missing materials.