Pulled out the stack and mode from the context. Added bodged premises and conclusions.
Pulled out the stack and mode from the context. Added bodge premises and conclusions.