Moved Dybjer and Sander proof to FOTC.
s/abp-Stream/abpTransfer-Stream.