or just “should have a default”?