Using the definitions of boolean constants and operators presented in class, show that the following evaluates to true. Show all your steps for a perfect mark. Always evaluate the "outer" applications first $($i$.$e$.,$ use lazy evaluation$),$ but continue to evaluate further until you obtain true.

and true $($or false $($not $($not true$)))$