"The Stapoldy is Stapoldying" sounds better but that's probably just because I've heard (technically read) it more often-
Anyways
THE COINPIN IS COINPINING
(Also don't ask why Pin was there when I'm talking to a DP ai-)
Edit: Oh yeah also the Astrobiology is Astrobiologying and the Penstal is Penstaling