essential prime implicant still fixing.