(define a 'a)