added set theory and graph theory