[logic-ml] $B=8Cf9V5A$N$*CN$i$;(B