$forall _ <- list $forall l <- list #{l}