In any event, Lambek showed that every typed lambda-theory gives a cartesian closed category — and conversely, every cartesian closed category gives a typed lambda-theory. This discovery led to a rich line of research blending category theory and computer science.

If I had been married earlier in life, I wouldn't have seen the double helix. I would have been taking care of the kids on Saturday.

Overall, these data suggest that the glucoregulatory benefits for TGR5 agonists in rodents for the treatment of diabetes and metabolic syndrome likely cannot be separated from concurrent pharmacology in the gallbladder.

Virtually all human action is liable to opposing interpretations, depending mainly upon distance: to take the familiar case of the banana peel, the fall is painful to the slipper, hilarious to the spectator across the street.