Fixed some more sorries added infinite RG