Alloy version of original PPS project