Working more on proposal
compiled