Implement peano* function