Title: Marilda and the witness tree