add forall to withLogger'