add assumption text