Providing a blackbox to the blackbox to reason. We are screwed