Indefinite patterns implemented