trivial changes near top of file
added defs of larger sequences of propns in terms of smaller