the other two prime implicants are w'xy' and xyz, circled in brown on the last map. they are redundant, however, since they cover no new 1's. even though w'xz must be used in a minimum solution, it dose not meet the definition of an essential prime implicant; each of the 1's covered by it can be covered by other prime implicants.