With which therapy type would the therapist help their client to challenge irrational beliefs and correct those beliefs with more logical and rational thoughts?.