That's why I learned how to prove the complexity class of certain problems ;)