let
(ref_validity:valid ref) = ref []