tailrec: we need to built a loop PhiM