Is Vauquelin okay? Asking for a friend