untimedness

not defined yet