Added forall to list