← Using contractors: A brief guide INDG368(rev1)