@Unpublished{crary02:singleton-elim,
  author = 	 {Karl Crary},
  title = 	 {Sound and Complete Elimination of Singleton Kinds},
  note = 	 {(Submitted for publication.)},
  month =	 {August},
  year =	 2002
}