Adding beta_all (unproven).