Was Carl Hoefkens pushed out..?