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