Two metaphors for reasoning