Axiomatic Theory @ The Basement - 4 December 2021