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