Yeah now i can prove infinite proof!