應包括有效執行之