Jacob’s ladder shows the progress towards an exact formula for the exchange correlation functional. The different steps along the ladder are techniques to aproximate this functional. Each next rung is a better way to predict the functional, until an exact equation is found.