Demonstrate that we have F[A]-equality for all A.