Commentary on BStateAttack.h