n is known