forgot the starting-to-check-top-level-fact from the emission map