Returned assertions