various recipes exist including some with secret ingredients like this set your terminal to research theorems of this type are called inversion of adjunction