Hot: equalityforall