Text this: Fixed point theorems for densifying mappings and compact mappings