Typo proove => prove