Note when starting to check a top-level fact