Some additional assertions