all specs are clean (but incomplete)