add first draft of full derivation