“True-for-All

• true for all values of x Aug 13, 2026