animals := \ dog \ cat \ mouse \ elephant