Wallensis, Gudmundus Petri