User blog comment:Wythagoras/All my stuff/@comment-5029411-20130715142856/@comment-1605058-20130715152115

Please, tell me where your rules handle case phi(@,0,...,b) where b is limit ordinal.