inf-incomplete-3 = -in