Predefs use a for comprehension, we now know exactly which one was loaded and which one isn't