we said we treat default as optional. no?