[kisoron-ml] boolean valued analysis