en:for_all