theoretical strings
string constructors