Refined dpcoinsystem, need to reformat if then as Ackermann function