Does Carls discord still exist?