Any sort of operation that is part of resolving a fact should be within the `setcode` block.