removed not needed assumptions section