Mostly implemented Assertion UI