Algorithms
	Algorithms are a familiar idea. Our goal is to learn to specify them right so someone or something else does the work