Pedigree map of Frans Barendregt