Create assumption.md