add: some fundamental definitions.
clean up.