yet another touchup for the unit test post
fixed syntax error and added DCE proof