Describir: A Note on Büchi's Problem for p-adic numbers