Describing how it is supposed to work