Prism: improved error-checking.