initial version of textual specs, some more testing