( 7-7 , " O ) ^ ( lvaHer- ( 7-7 , 11)