Matrix Multiplication in Fabius