M
ono
B
ool
T
ran
A
lgebra
Mono_Bool_Tran
Mono_Bool_Tran_Algebra
Assertion_Algebra
Statements