Opening ProphetX four-source proof.