Here it's okay so we don't force people who use pagination.html to name their variable shown_results