Arity guess is done