No Taylor liked to communicate the series musically on various organs. IT got expensive and that’s why noone ever goes beyond the first two or three terms.

This is set out in the NLRA which is 29 US code 157 https://www.law.cornell.edu/uscode/text/29/157 I'm not a lawyer and it seems not straightforward.

The DOJ antitrust division's mandate is to promote competition by enforcing antitrust law. They aren't really concerned with worker's rights except insofar as those rights are affected by anticompetitive behaviours such as non-competes etc[1], so I'm not sure the AWU are going to get very far here.

[1] https://www.justice.gov/atr/mission

Well the proof I would use is let a = e and b = i(pi).

e^(i theta) = cos theta + i sin theta (Euler's identity) thus e^(i pi) = cos pi + i sin pi = -1 + i(0) = -1

We know that e and i pi are irrational (in fact i pi isn't even a real) and -1 is rational.

Therefore there exist two numbers a and b such that both a and b are irrational but a^b is rational.

In fact log of just about anything is irrational so e^(log x) works as well for just about all rational x, but Euler's identity is cool so I wanted to use that.

The next generation of soft-sciences research reproducibility is going to be interesting.