AbstractPSL