spec9: implemented