let
at_first_measurement () = ()