Text this: Non-Emptiness, Relative Coincidences and Axiomatic Results for the Precore