# Animations

## Id substitution

<iframe width="560" height="315" src="https://www.trangram.com/embed/65f58fa7f4ece1d0d03209b9?repeat" title="Substitution in bruijn" frameborder="0" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; web-share" allowfullscreen>
</iframe>

## Omega beta reduction

<iframe width="560" height="315" src="https://www.trangram.com/embed/65f593e2f4ece1d0d0320a8e?repeat" title="Omega reduction in bruijn" frameborder="0" allow="accelerometer; clipboard-write; encrypted-media; gyroscope; web-share" allowfullscreen>
</iframe>