Merged with ex-pruf.