Name
? primos-tan 1
? tripos-tan 1
1