Added colors for the assertion mechanism