Now using prove the correct way