これらのパターンはどの時間枠で証明されていますか?