I wonder if having any default here makes sense.