etc: added \seilpmi
A: added proofs for A2.2(c-e)
Merged etc, bad git