Conditional upper bounds for ekmett/eq#6