Experminenting with well foundness