|=  n=@  :: create gate core with single arm n
=<  (goldbach n)  :: evaluates its first child expression with respect to its second child expression as the subject
|%  :: Produce a core, [battery payload]
++  prime  :: arm prime
  |=  n=@  :: create gate core with single arm n
  ^-  ?  :: typecast
  ?:  (lth n 2)  |  :: if n is not less than 2
  ?:  (lth n 4)  &  :: if n is less than 4
  =/  i=@  2  :: combine named noun i value 2 with the subject
  =/  j=@  2  :: combine named noun j value 2 with the subject
  |-  ^-  ?
  ?:  =((mul i j) n)  |
  ?:  =(j (div n 2))  &
  ?:  (gth (mul i j) n)
    $(i 2, j +(j))
  $(i +(i))
++  goldbach  :: arm goldbach
  |=  n=@  :: create gate core with single arm n
  ^-  ?(? [[@ @] ?])  :: typecast
  ?:  |((lth n 4) =((mod n 2) 1))  |  :: if n is less than 2, n is odd
  =/  i=@  2  :: combine named noun i value 2 with the subject
  =/  j=@  (sub n 2)  :: combine named noun j value n-2 with the subject
  |-  ^-  ?(? [[@ @] ?])
  ?:  &((prime i) (prime j))  [[i j] |]
  ?:  =((add 2 i) n)  &
  $(i +(i), j (dec j))
--  :: terminate expression