There has to be a software engineer named Claude whose mother or wife is named Karen. There just has to be.