fix citation ordering
remove bad reference; add sets to instantiation discussion