Trying to make prove work