( 1^ 0)