Pro-Quantum von PRISM