Support pattern matching and truth expressions.