/// export default function ReportedFact(): JSX.Element;