assert pitch != null in checkRep()