: (a 7)
-> 7

: (b 7)
-> 7

: (c 7)
-> 7