2 leaks gedicht: in posets en mappingpermutator