← Informal goal Observable goal Criteria for …