Y. Tatsumi, “Asserting a scalar ordering: The non-temporal interpretation of mae”, Proceedings of the AC, pp. 474–483, Dec. 2017, doi: 10.53437/dzgxv467.