Add notes about sorting and laziness