Some facts about proof test coverage and how it affects safety integrity level calculations.