Formalize boolean variable naming