Title: Searle reference manual