pruned pangloss
pruned pangloss