spec6: Implemented