[1666] BlackBox Reasoning, Refactoring