solved forall i think