Added another assertion to the TODO list.
Added another assertion function.