Complete assertion section