inf-incomplete-1 = in