bel(system,neg($B3+$$$F$$$k(B($B6d9T(B))).
bel(system,$B3+$$$F$$$k(B($B%^%M!<%A%'%s%8%c(B)).




                                                                   