It is useful to assess whether the premises are true.