Safety saves on my implementation of the well-founded model