Question $23$

Consider the following $-$term $($remember expressions are also called terms$)$Question $24$

Consider the following expression

$(2x(2x,x(2x,x)x)x)x$

$|$

which of the following is true?

The expression has only one redex

The expression has only two redeves

The expressions has orily three redeves

The expression has no redeves

How many abstractions does the term have?

$1$

$2$

$3$

$4$

$5$

$6$