Music used in the movie

Does anyone know what songs they used in the Fall Pep Rally scene? At some point, the song goes like "we brought it up for you to see" and whatnot... I couldn't find anything by typing the lyrics in Google (probably because I misunderstood the words or something...)

To do is to be - Descartes, To be is to do - Voltaire, Do be do be do - Sinatra.