fix ^ usage in exponent
add some Boolean guides