Added some basic definitions