updated proposal to match our online document
changed file names to remove redundant occurrences of the name 'desybil'