What does ```pre``` represent here?