refactor prove helper
Look harder for missing prereqs