/begin{Précis of 'Re: Steroid Myths #1'}
1. (x){□[(Gx & ~Ex) → ~Fx] → ~♢[(Gx & ~Ex) & Fx]}
2. □[(Gn & ~En) → ~Fn] → ~♢[(Gn & ~En) & Fn] (1, UI)
3.
♢[(Gn & ~En) & Fn]4. ~□[(Gn & ~En) → ~Fn] (3,2, MT)
5. ∴ (x)~□[(Gx & ~Ex) → ~Fx] (4, UG)
Where G=the property of being on a good amount of gear, E=the property of eating thousands of calories on a daily basis, F=the property of having a freakish physique, and n= getbigger 'no one'
+ buttrape
/end{Précis of 'Re: Steroid Myths #1'}