HaLLMos math