@ChrisAldrich No search over mathematical objects, by what they ought to represent@NetworkFact @TautologyFacts @StatFact @MPitici