Mapping between entries to the formal categories for Problem 1 and 2, respectively.