Non-forking, stationary model, May 28, 2002