Lab4 Creating PRISM