這些模式在什麼時間框架上被證明?