非摂動的M-理論の定式化はBFSS行列模型の拡張で実現できると思いますか？M2/M5 brainやU双対、BH問題、時間の存在の説明など、既存理論との整合性が一つのモデルから得られるとは思えません