forall -> template