do-nothing(a)