A real mathematician can mathematically mathematise mathematics in a mathematical mathematiculation. So if a mathematician can mathematise mathematics in a mathematical mathematiculation, why can't you mathematically mathematise mathematics in a mathematical mathematiculation like the mathematician who mathematically mathematises mathematics in a mathematical mathematiculation? This is easier than it looks!