More work on Prism implementation