Me quede en el codigo de ExpBinBool