added some basic definitions