結果 : recursive and explicit pattern rules