. . "Examples are drawn mainly from mathematics, but the ability to deal with abstract concepts and their formalizations if beneficial." . .