Given a Boolean polynomial , a variable and a constant , we want to plug in the constant for the variable .