def procedure_body(expr): return caddr(expr)
def assignment_value(expr): return caddr(expr)
def definition_value(expr): if is_symbol(cadr(expr)): return caddr(expr) return make_lambda(cdadr(expr), cddr(expr))
def if_consequent(expr): return caddr(expr)