Abstract goal qualification so that it's called in the default module