Thinkers (men) do not marry. Which means by substitution: Men who marry do not think