Simplifying FF and SP by increasing PoSt soundness