On the transitive closure of a wellfounded relation