ones
take (S (S (S (S Z)))) ones
:q
