Updated (using the patch to generate `Prism'`'s)