[Crystal 001] mathematics math