On the Properties of Proper $(M, S)$ Optimal Block Designs