I can prove that gt gt ploytigerstam