[logic-ml] boolean valued analysis