@DannyThomas @_fletchr That disjunction is doing a lot of work here.