Text this: Contractive mappings on a premetric space