Prod-simp view 2