trust AutoPrereqs, but verify