Added unassumeall