# `is` statement

The statement `<LEFT VAR> is <RIGHT VAR>` is used to identify `<LEFT VAR>` and `<RIGHT VAR>` as bound to the same concept.

## [](#_matching)Matching

The `is` keyword acts as an assertion that two variables are bound to the exact same concept.

```typeql
match $tweedle-dee is $tweedle-dum;
```

[has](../has/index.md) [let …​ =](../let-eq/index.md)

[Edit on GitHub](https://github.com/typedb/typedb-docs/edit/3.x-development/typeql-reference/modules/ROOT/pages/statements/is.adoc) Edit this page on GitHub.