Principal coverage test

See overcollateralisation test.