allow CanProve to exit early