LogicPSA version 2.0