(a.) Laborious.