elements_spec2w proved