more assumptions