prove depends on new stuff