#t
#(3 4 5)
#f
#(p p p p p)
5
4
(3 4 5)
#(p q r)