New: equalityforall