Simplify the definition of for-all*