Continue PRISM documentation