(five isprime)
(seven isprime)
!(add-atom &self (six notprime))