formating assertions