Make require to use the new Fact-based macro.