spec2: implemented