“No prior knowledge of specification or modeling is assumed beyond a highschool-level familiarity with the basic notions of set theory.” — Daniel Jackson Copy Share Image