Theorem - (Knitting) Diets Don't Work
Axiom #1 - The Project Diet = Finishing a single project before initiating a new project.
Axiom #2 - The Yarn Diet = Reducing the size of one's stash before purchasing new components of stash
Reductio ad absurdum -
Axiom #1 is used to prove theorem by contradiction.
- After invoking the conditions of Axiom #1, 5 additional projects were initiated without completion.
Axiom #2 is used to prove theorem by contradiction.
- After invoking the conditions of Axiom #2, >$200 order was placed to Knit Picks
Lemma to Axiom #2 - legislative and societal support for Axiom #2, (e.g., the Voluntary Gambling Ban enacted in all states with legalized betting) cannot be invoked.
Ergo, by invoking Axioms #1 and #2, which prove Theorem by Contradiction, we can extend this Theorem to ALL Diets
Demonstration of Theorem -
Axiom #3 - The Needle Diet = One can have sufficient needles to complete any imagined project and one would need not purchase additional needles.
Lemma to Axiom #3 - Sufficient is defined to include DPNs, Circulars and Straights.
Refutation of Axiom #3 - New needles will arrive on October 23rd.
Assumption #1 - "PUNY" is defined as "slight or inferior in power, size, or importance : weak"
Invoking Gödel's first incompleteness theorem, it cannot be demonstrated a relationship between the first letters of Project, Yarn, Needle, and UFOs is related to the word "PUNY".
Q.E.D. -- (Knitting) Diets Don't Work