Black box testing for the fact-tools.