Text this: Manis Valuations and Prüfer Extensions I