True
is a bad argument10
is a good argumenttake
and drop
reconstruction0
fib
is an uninterpreted function0
average
take
fib
fib
is an uninterpreted functionList
s Elementsappend
take
and drop
reconstructiontake
and drop
reconstruction