thing (S (S (S Z)))
:q
