Precisely what is ulcerative colitis?