New posts in Successor Arithmetics