Add more assumptions to lists in README