Text this: Topics in engineering logic.