grundsatser af Petri , 16 si.