I wonder if reflection on your own inference system could make things like this go away.
That would be cool. How?
That would be cool. How?