adding new assumptions