Pattern matching without K