generalized full rule