Ignore write guard in supremum implication