renamed proof plugin