Added all variables / givens