Me too.

What does a reasoning program look like and why is matrix multiplication not that?