program lecture sufficiency formula