edit assertions