(name 'ForAll-Base')