Some hmm... definitions!