One of the ara loops , that involving AraC bound at araO2 and araI , was previously shown to generate repression of araBAD ( 5-7 ) .