(Mette Sterre) pro probability props