条件式が偽（False）の場合に実行される節はどれか。

処理を直ちに終了してプロシージャから抜けるステートメントはどれか。