Premise:  He slapped the cover shut and stuck the sun-tipped awl where it would light as much of the orrery as possible.
Hypothesis: There was no light that entered the orrery.
Label: contradiction