bibo , btfo , fmar*