universal: (logic) a proposition that asserts something of all members of a class
proposition: (logic) a statement that affirms or denies something and is either true or false
scomberesox: a genus of Scomberesocidae