Definition of "Aratus"