It is good practice to have correctly bulleted subproofs. In this patch I enforced this standard globally.