Use term record instead of number for (SFI,n) pair.