Added some preliminary definitions.