Suggested repair of your example: A= “Pi is normal” and B= “Pi includes as a contiguous block the first 2^128 digits of e within the first Ackermann(8) digits” which should do something similar.
Suggested repair of your example: A= “Pi is normal” and B= “Pi includes as a contiguous block the first 2^128 digits of e within the first Ackermann(8) digits” which should do something similar.