No further reduction is possible; the only consensus that exists among the terms in this reduced expression produces the term acd, the one that we just removed. None of the other properties can be used to reduce this function further. However, if we go back to the original function, we note that another consensus does exist: