prereq spec