and -> with