more precise spec

^^