史先進邏輯?