some additional assertions