LBMS Semi-Formal