prime implication update