The node you are looking for is at Definition of safe-length.