Initial version

from handwritten notes; not verified