  We consider the determinants of compressions of Toeplitz operators to
finite-dimensional model spaces and establish analogues of the Borodin-Okounkov
formula and the strong Szeg\"o limit theorem in this setting.
