Text this: The integration of human knowledge; a study of the formal foundations and the social implications of unified science.