Refine: + mathematics+ logic+ calculus+ informative+ linguistics