Adding additional assertions