Consistent notation, fixed defns in doc, Rabiner ur notation sux