PR #2: Give every fact its own module