'OK, we've accepted "True" to refer to an arbitrary entity denoted as "#t" and "False" to refer to an arbitrary entity denoted as "()" which is the result when evaluating "'()" as defined by the earlier clauses. Let the record state in the form of a comment that the judge would like to appeal to the supreme compiler that the concept of precedent/dependency be reinstated in the judiciary process so that every law not be recompiled by hand during every single trial.'

Complimentary joke keyword for sneerful programmers: lex