spec3: implemented
spec3: write README for spec3