U04A1: Coverage Formulation