All pending specs are implemented