Mathematicians don't care about foundations (2022)