Use rsync instead of scp.
Push back return of memos.
Typos in natural semantics.