Listing more assumptions