Remark: The closure hypothesis matters

For a merely norm-closed subalgebra represented inside a von Neumann algebra, testing only normal states need not recover that norm-closed algebra. The normal theorem requires the regional algebra to be a von Neumann subalgebra.