Changed idE.
Algorithm for streams.
Working with proofs for streams.
Changing minor details.
Streams almost done.