SpecMan writing