Introduction to clarithmetic II