This is implied