assertions tested in 'with' blocks