Although it is not generally regarded as the foundation for classical mathematics, set theory being more customary, type theory still has numerous applications, especially in computer science and the theory of programming languages.

When she [Debbie Reynolds as Lucretia Rogers] tries to wrangle a calf, she ends up flat on her face in the barnyard muck.

Holmes took a note of it. “One other question,” said he. “Was the photograph a cabinet?”

Even some fellow Conservatives maintain that Sir William has shown a dangerously authoritarian streak since enlisting as a general in Mrs. Thatcher's single-minded campaign to bring broadcasters to heel.