let not_computed () = 
  not_half_computed () && not_param_computed () && not_arg_computed ()