We can also color-code it better, to have the orange denote a deficient `REQUIRE`, vs. red meaning a `REQUIRE` that doesn't exist.