Laying out the basic definitions