let for_all f =
  f u && f la && f p && f bv && f cop && f nl && f app && f arr && f set