#1256: 1/5 Battle Professors found.