implication statements, multiple conditions

[JuliusFiedler]

Lets say an implication statement has multiple conditions in its premise. The order of these statements should might be interchangeable, if eg. new relations are set that need to hold. Example given here positive definiteness. 3 statements in premise: x \in u, imp1, imp2. Order of there can be interchanged from a syntax standpoint, but the meaning would change.

possible solution: nested implication statements