very slowly implementing stringspace. Not verified at all.