rename apply-first => apply-disjunctively and apply-sequentially => apply-disjunctively