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