Proof likes to create processes.