—defined before the beginning of history (October 2022) [history]