2 problems

State-extension conjecture. If state $\nu$ of $A$ satisfies PEP, then there is a state $\hat{\nu}$ of $A[\perp]$ such that

LEP--PEP converse conjecture. If PEP holds, then LEP holds: